@echo off

echo VDM Test:'%1' > con
echo VDM Test: '%1'

set S1=Test.rtf
set S2=UML.rtf
set S3=State.rtf
set S4=Transition.rtf

"C:\Program Files (x86)\vdm\bin\vppde" -i -D -I -P -Q -R vdm.tc -O %1.res %1 %S1% %S2% %S3% %S4%

if EXIST %1.exp fc /w %1.res %1.exp

:end